1. Clausal form logic : an introduction to the logic of computer reasoning

پدیدآورنده:

کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)

موضوع: ، Expert systems )Computer science(,، Artificial intelligence,، Logic, Symbolic and mathematical,، Reasoning

رده :
QA
76
.
76
.
E95R53
1989